Your search returned 2 records. Click on the hyperlinks to view further details of Titles..

 

Magazine Name : Acm Computing Surveys

Year : 1986 Volume number : 18 Issue: 03

Formal Models Of Stepwise Refinements Of Programs (Article)
Subject: Function-Based Specifications , Assignment Rule , Assertion-Based Specifications , Alternation Rule
Author: Ali Mili      Jules Desharnais      Jean Raymond Gagne     
page:      231 - 276
Elimination Algorithms For Data Flow Analysis (Article)
Subject: Data Flow Analysis , Elimination Algorithms
Author: Marvin C. Paull      Barbara G. Ryder     
page:      277 - 316